In some places we were not properly animating the actors as still using the
non-existent 'time' property instead of 'duration'
https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/758
this.actor.ease({
scale_x: 1,
scale_y: 1,
- time: APP_ICON_SCALE_IN_TIME,
+ duration: APP_ICON_SCALE_IN_TIME,
delay: APP_ICON_SCALE_IN_DELAY,
mode: Clutter.AnimationMode.EASE_OUT_QUINT
});
icon.icon.ease({
width: targetWidth,
height: targetHeight,
- time: DASH_ANIMATION_TIME,
+ duration: DASH_ANIMATION_TIME,
mode: Clutter.AnimationMode.EASE_OUT_QUAD
});
}
scale_x: 1,
scale_y: 1,
mode: Clutter.AnimationMode.EASE_OUT_QUAD,
- time: 200
+ duration: 200
});
} else {
this.actor.set_scale(1, 1);